From 02f282740725c5b298fa907beccd7cfb81be9a1f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Thibaut=20VAR=C3=88NE?= Date: Wed, 19 Oct 2022 16:19:42 +0200 Subject: [PATCH] phase1: remove unused 'other_builds' MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Thibaut VARÈNE --- phase1/master.cfg | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/phase1/master.cfg b/phase1/master.cfg index afd79f3..be3c3fa 100644 --- a/phase1/master.cfg +++ b/phase1/master.cfg @@ -214,7 +214,6 @@ c['prioritizeBuilders'] = prioritizeBuilders work_dir = os.path.abspath(ini.get("general", "workdir") or ".") scripts_dir = os.path.abspath("../scripts") tree_expire = 0 -other_builds = 0 cc_version = None cc_command = "gcc" @@ -228,9 +227,6 @@ git_ssh_key = None if ini.has_option("phase1", "expire"): tree_expire = ini.getint("phase1", "expire") -if ini.has_option("phase1", "other_builds"): - other_builds = ini.getint("phase1", "other_builds") - if ini.has_option("phase1", "cc_version"): cc_version = ini.get("phase1", "cc_version").split() if len(cc_version) == 1: @@ -504,7 +500,7 @@ def GetVersionPrefix(props): @properties.renderer def GetNumJobs(props): if props.hasProperty("max_builds") and props.hasProperty("nproc"): - return str(int(int(props["nproc"]) / (props["max_builds"] + other_builds))) + return str(int(int(props["nproc"]) / props["max_builds"])) else: return "1" -- 2.30.2